Foundations of Science - PDFSEARCH.IO - Document Search Engine

Foundations of Science
Results: 707

#	Item
381	Capability/Service Hydrogeology and 3-D Visualization of Dam Foundations and Abutments Description Add to Reading List Source URL: gsl.erdc.usace.army.mil Language: English - Date: 2007-03-26 12:51:34 Hydraulic engineering Aquifers Hydrology Geotechnical engineering United States Army Corps of Engineers Scientific modelling GMS Hydrogeology Groundwater model Water Civil engineering Science
382	Notes on Elinor Ostrom, "Policies that Crowd out Reciprocity and Collective Action." In Herbert Gintis, Samuel Bowles, Robert Boyd, and Ernst Fehr, Moral Sentiments and Material Interests: The Foundations of Cooperation Add to Reading List Source URL: www.protevi.com Language: English - Date: 2012-07-06 09:21:48 Social psychology Political science Egoism Prosocial behavior Elinor Ostrom Rational choice theory Motivation Collective action Herbert Gintis Science Sociology Social philosophy
383	Lower Bound Techniques for Data Structures by Mihai Pˇatra¸scu Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2008-09-08 23:52:04 Algorithm Mathematical logic Theoretical computer science Symposium on Foundations of Computer Science PP Symposium on Theory of Computing Applied mathematics Mathematics Computer science
384	Mathematics Concentrations Department of Mathematics, Science, & Instructional Technology Education Note: Students may use 3 hours of MATH for Foundations Curriculum (FC) credit and for the concentrations. The Mathematic Add to Reading List Source URL: www.ecu.edu Language: English - Date: 2013-06-03 23:26:20 Integral Trigonometric functions Mathematics education Education reform Differential calculus over commutative algebras Probability space Mathematical analysis Mathematics Calculus
385	2) Some prerequisites for a study of the evolution of cognition in the animal kingdom foundations Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2014-07-04 05:45:19 Logic programming Information Science Programming paradigms Constraint programming Constraint satisfaction
386	Complexity of Bézout’s Theorem and the Condition Number Jean-Pierre Dedieu Institut de Mathématiques de Toulouse, France Fields Institute, Thematic Program on the Foundations of Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-10-23 10:42:16 Computational complexity theory Complexity classes Abstraction Complex systems theory Complexity Holism PP Polynomial P Theoretical computer science Algebra Mathematics
387	Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:28:43 Data types Procedural programming languages Cross-platform software Functional languages Lisp programming language Java virtual machine Type system ALGOL 68 List Computing Software engineering Programming language theory
388	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-08 05:08:56 Type theory Logic in computer science Reasoning Mathematical logic Epistemology Logic programming Prolog Logical framework Twelf Logic Mathematics Programming language theory
389	http://oac.cdlib.org/findaid/ark:/13030/kt4m3nf39r No online items Guide to R. Duncan Luce, "Foundations of Measurement" Daniel Hartwig Stanford University. Libraries.Department of Special Collections and University Arch Add to Reading List Source URL: pdf.oac.cdlib.org Language: English - Date: 2015-01-28 00:01:59 Academia Patrick Suppes R. Duncan Luce Luce Amos Tversky Stanford University Theory of conjoint measurement Guggenheim Fellows Science Cognitive science
390	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming

UPDATE